3.7.65 \(\int \frac {(a+b x)^2}{x^{5/3}} \, dx\) [665]
Optimal. Leaf size=34 \[ -\frac {3 a^2}{2 x^{2/3}}+6 a b \sqrt [3]{x}+\frac {3}{4} b^2 x^{4/3} \]
[Out]
-3/2*a^2/x^(2/3)+6*a*b*x^(1/3)+3/4*b^2*x^(4/3)
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 34, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {45}
\begin {gather*} -\frac {3 a^2}{2 x^{2/3}}+6 a b \sqrt [3]{x}+\frac {3}{4} b^2 x^{4/3} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[(a + b*x)^2/x^(5/3),x]
[Out]
(-3*a^2)/(2*x^(2/3)) + 6*a*b*x^(1/3) + (3*b^2*x^(4/3))/4
Rule 45
Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])
Rubi steps
\begin {align*} \int \frac {(a+b x)^2}{x^{5/3}} \, dx &=\int \left (\frac {a^2}{x^{5/3}}+\frac {2 a b}{x^{2/3}}+b^2 \sqrt [3]{x}\right ) \, dx\\ &=-\frac {3 a^2}{2 x^{2/3}}+6 a b \sqrt [3]{x}+\frac {3}{4} b^2 x^{4/3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 28, normalized size = 0.82 \begin {gather*} -\frac {3 \left (2 a^2-8 a b x-b^2 x^2\right )}{4 x^{2/3}} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(a + b*x)^2/x^(5/3),x]
[Out]
(-3*(2*a^2 - 8*a*b*x - b^2*x^2))/(4*x^(2/3))
________________________________________________________________________________________
Mathics [C] Result contains higher order function than in optimal. Order 9 vs. order 2 in
optimal.
time = 10.74, size = 968, normalized size = 28.47
result too large to display
Warning: Unable to verify antiderivative.
[In]
mathics('Integrate[(a + b*x)^2/x^(5/3),x]')
[Out]
Piecewise[{{3 a ^ (1 / 3) (-2 a ^ 2 (b x / a) ^ (1 / 3) - 9 -1 ^ (1 / 3) a b x + 8 a b x (b x / a) ^ (1 / 3) +
b ^ 2 x ^ 2 (b x / a) ^ (1 / 3)) / (4 b ^ (1 / 3) x), Abs[(a + b x) / a] > 1}}, -27 a ^ (28 / 3) b ^ (2 / 3)
(1 - b (a / b + x) / a) ^ (1 / 3) / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3) a ^ 7 b (a / b + x) + 12 E
^ (I 2 Pi / 3) a ^ 6 b ^ 2 (a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a / b + x) ^ 3) + 27 a ^ (28 / 3
) b ^ (2 / 3) / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3) a ^ 7 b (a / b + x) + 12 E ^ (I 2 Pi / 3) a ^
6 b ^ 2 (a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a / b + x) ^ 3) - 81 a ^ (25 / 3) b ^ (5 / 3) (a / b
+ x) / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3) a ^ 7 b (a / b + x) + 12 E ^ (I 2 Pi / 3) a ^ 6 b ^ 2
(a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a / b + x) ^ 3) + 72 a ^ (25 / 3) b ^ (5 / 3) (a / b + x) (1
- b (a / b + x) / a) ^ (1 / 3) / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3) a ^ 7 b (a / b + x) + 12 E ^
(I 2 Pi / 3) a ^ 6 b ^ 2 (a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a / b + x) ^ 3) - 60 a ^ (22 / 3)
b ^ (8 / 3) (1 - b (a / b + x) / a) ^ (1 / 3) (a / b + x) ^ 2 / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3
) a ^ 7 b (a / b + x) + 12 E ^ (I 2 Pi / 3) a ^ 6 b ^ 2 (a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a /
b + x) ^ 3) + 81 a ^ (22 / 3) b ^ (8 / 3) (a / b + x) ^ 2 / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3) a
^ 7 b (a / b + x) + 12 E ^ (I 2 Pi / 3) a ^ 6 b ^ 2 (a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a / b +
x) ^ 3) - 27 a ^ (19 / 3) b ^ (11 / 3) (a / b + x) ^ 3 / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3) a ^ 7
b (a / b + x) + 12 E ^ (I 2 Pi / 3) a ^ 6 b ^ 2 (a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a / b + x)
^ 3) + 12 a ^ (19 / 3) b ^ (11 / 3) (1 - b (a / b + x) / a) ^ (1 / 3) (a / b + x) ^ 3 / (4 E ^ (I 2 Pi / 3) a
^ 8 - 12 E ^ (I 2 Pi / 3) a ^ 7 b (a / b + x) + 12 E ^ (I 2 Pi / 3) a ^ 6 b ^ 2 (a / b + x) ^ 2 - 4 E ^ (I 2 P
i / 3) a ^ 5 b ^ 3 (a / b + x) ^ 3) + 3 a ^ (16 / 3) b ^ (14 / 3) (1 - b (a / b + x) / a) ^ (1 / 3) (a / b + x
) ^ 4 / (4 E ^ (I 2 Pi / 3) a ^ 8 - 12 E ^ (I 2 Pi / 3) a ^ 7 b (a / b + x) + 12 E ^ (I 2 Pi / 3) a ^ 6 b ^ 2
(a / b + x) ^ 2 - 4 E ^ (I 2 Pi / 3) a ^ 5 b ^ 3 (a / b + x) ^ 3)]
________________________________________________________________________________________
Maple [A]
time = 0.10, size = 25, normalized size = 0.74
| | |
method |
result |
size |
| | |
gosper |
\(-\frac {3 \left (-x^{2} b^{2}-8 a b x +2 a^{2}\right )}{4 x^{\frac {2}{3}}}\) |
\(25\) |
derivativedivides |
\(-\frac {3 a^{2}}{2 x^{\frac {2}{3}}}+6 a b \,x^{\frac {1}{3}}+\frac {3 b^{2} x^{\frac {4}{3}}}{4}\) |
\(25\) |
default |
\(-\frac {3 a^{2}}{2 x^{\frac {2}{3}}}+6 a b \,x^{\frac {1}{3}}+\frac {3 b^{2} x^{\frac {4}{3}}}{4}\) |
\(25\) |
trager |
\(-\frac {3 \left (-x^{2} b^{2}-8 a b x +2 a^{2}\right )}{4 x^{\frac {2}{3}}}\) |
\(25\) |
risch |
\(-\frac {3 \left (-x^{2} b^{2}-8 a b x +2 a^{2}\right )}{4 x^{\frac {2}{3}}}\) |
\(25\) |
| | |
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((b*x+a)^2/x^(5/3),x,method=_RETURNVERBOSE)
[Out]
-3/2*a^2/x^(2/3)+6*a*b*x^(1/3)+3/4*b^2*x^(4/3)
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 24, normalized size = 0.71 \begin {gather*} \frac {3}{4} \, b^{2} x^{\frac {4}{3}} + 6 \, a b x^{\frac {1}{3}} - \frac {3 \, a^{2}}{2 \, x^{\frac {2}{3}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)^2/x^(5/3),x, algorithm="maxima")
[Out]
3/4*b^2*x^(4/3) + 6*a*b*x^(1/3) - 3/2*a^2/x^(2/3)
________________________________________________________________________________________
Fricas [A]
time = 0.30, size = 23, normalized size = 0.68 \begin {gather*} \frac {3 \, {\left (b^{2} x^{2} + 8 \, a b x - 2 \, a^{2}\right )}}{4 \, x^{\frac {2}{3}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)^2/x^(5/3),x, algorithm="fricas")
[Out]
3/4*(b^2*x^2 + 8*a*b*x - 2*a^2)/x^(2/3)
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 1.06, size = 1957, normalized size = 57.56
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)**2/x**(5/3),x)
[Out]
Piecewise((-27*a**(28/3)*b**(2/3)*(-1 + b*(a/b + x)/a)**(1/3)*exp(2*I*pi/3)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b
*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) -
27*a**(28/3)*b**(2/3)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*
exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 72*a**(25/3)*b**(5/3)*(-1 + b*(a/b + x)/a)**(1/3)*(a
/b + x)*exp(2*I*pi/3)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*e
xp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 81*a**(25/3)*b**(5/3)*(a/b + x)/(-4*a**8*exp(2*I*pi/3
) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp
(2*I*pi/3)) - 60*a**(22/3)*b**(8/3)*(-1 + b*(a/b + x)/a)**(1/3)*(a/b + x)**2*exp(2*I*pi/3)/(-4*a**8*exp(2*I*pi
/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*e
xp(2*I*pi/3)) - 81*a**(22/3)*b**(8/3)*(a/b + x)**2/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3)
- 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 12*a**(19/3)*b**(11/3)*(
-1 + b*(a/b + x)/a)**(1/3)*(a/b + x)**3*exp(2*I*pi/3)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/
3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 27*a**(19/3)*b**(11/3
)*(a/b + x)**3/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*
pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 3*a**(16/3)*b**(14/3)*(-1 + b*(a/b + x)/a)**(1/3)*(a/b + x)*
*4*exp(2*I*pi/3)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*
I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)), Abs(b*(a/b + x)/a) > 1), (27*a**(28/3)*b**(2/3)*(1 - b*(a/b
+ x)/a)**(1/3)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I
*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) - 27*a**(28/3)*b**(2/3)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a
/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) - 72
*a**(25/3)*b**(5/3)*(1 - b*(a/b + x)/a)**(1/3)*(a/b + x)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*
pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 81*a**(25/3)*b**(5
/3)*(a/b + x)/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*p
i/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 60*a**(22/3)*b**(8/3)*(1 - b*(a/b + x)/a)**(1/3)*(a/b + x)**2
/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5
*b**3*(a/b + x)**3*exp(2*I*pi/3)) - 81*a**(22/3)*b**(8/3)*(a/b + x)**2/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b
+ x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) - 12*a
**(19/3)*b**(11/3)*(1 - b*(a/b + x)/a)**(1/3)*(a/b + x)**3/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*
I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) + 27*a**(19/3)*b**
(11/3)*(a/b + x)**3/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp
(2*I*pi/3) + 4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)) - 3*a**(16/3)*b**(14/3)*(1 - b*(a/b + x)/a)**(1/3)*(a/b +
x)**4/(-4*a**8*exp(2*I*pi/3) + 12*a**7*b*(a/b + x)*exp(2*I*pi/3) - 12*a**6*b**2*(a/b + x)**2*exp(2*I*pi/3) +
4*a**5*b**3*(a/b + x)**3*exp(2*I*pi/3)), True))
________________________________________________________________________________________
Giac [A]
time = 0.00, size = 40, normalized size = 1.18 \begin {gather*} \frac {3}{4} x^{\frac {1}{3}} x b^{2}+6 x^{\frac {1}{3}} b a-\frac {\frac {1}{2}\cdot 3 a^{2}}{\left (x^{\frac {1}{3}}\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)^2/x^(5/3),x)
[Out]
3/4*b^2*x^(4/3) + 6*a*b*x^(1/3) - 3/2*a^2/x^(2/3)
________________________________________________________________________________________
Mupad [B]
time = 0.04, size = 24, normalized size = 0.71 \begin {gather*} \frac {-6\,a^2+24\,a\,b\,x+3\,b^2\,x^2}{4\,x^{2/3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((a + b*x)^2/x^(5/3),x)
[Out]
(3*b^2*x^2 - 6*a^2 + 24*a*b*x)/(4*x^(2/3))
________________________________________________________________________________________